Terrence Millar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Models in fisheries research: GLMs, GAMS and GLMMs

Yongshun Xiao, André E. Punt, Russell B. Millar, Terrence J. Quinn II

Journal:

Fisheries Research

Year:

2004

Language:

english

File:

PDF, 37 KB

english, 2004

2

A Complete, Decidable Theory with Two Decidable Models

Terrence S. Millar

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 174 KB

english, 1979

3

Persistently Finite Theories with Hyperarithmetic Models

Terrence Millar

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 957 KB

english, 1983

4

Model Completions and Omitting Types

Terrence Millar

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 380 KB

english, 1995

5

Persistently finite theories with hyperarithmetic models

Millar, Terrence

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 776 KB

english, 1983

6

The Effect of Pinned Photodiode Shape on Time-of-Flight Demodulation Contrast

Millar, Terrence Cole, Sarhangnejad, Navid, Katic, Nikola, Kutulakos, Kyros, Genov, Roman

Journal:

IEEE Transactions on Electron Devices

Year:

2017

Language:

english

File:

PDF, 1.85 MB

english, 2017

7

Decidability and the number of countable models

Terrence Millar

Journal:

Annals of Pure and Applied Logic

Year:

1984

Language:

english

File:

PDF, 656 KB

english, 1984

8

Foundations of recursive model theory

Terrence S. Millar

Journal:

Annals of Mathematical Logic

Year:

1978

Language:

english

File:

PDF, 1.66 MB

english, 1978

9

Coupling of Hydrogen Bonding to Chromophore Conformation and Function in Photoactive Yellow Protein †

Brudler, Ronald, Meyer, Terrence E., Genick, Ulrich K., Devanathan, Savitha, Woo, Tammy T., Millar, David P., Gerwert, Klaus, Cusanovich, Michael A., Tollin, Gordon, Getzoff, Elizabeth D.

Journal:

Year:

2000

Language:

english

File:

PDF, 132 KB

english, 2000

10

Finite extensions and the number of countable models

Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 531 KB

english, 1989

11

Vaught's theorem recursively revisited

Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 917 KB

english, 1981

12

Omitting types, type spectrums, and decidability

Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 742 KB

english, 1983

13

Lachlan A. H.. On the number of countable models of a countable superstable theory. Logic methodology and philosophy of science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, edited by Suppes Patrick et al., Studies in logic and the foundations of mathematics, vol. 74, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, New York, 1973, pp. 45–56.Lascar Daniel. Ranks and definability in superstable theories. Israel journal of mathematics, vol. 23 (1976), pp. 53–87.

Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1982

Language:

english

File:

PDF, 412 KB

english, 1982

14

Meeting of the Association for Symbolic Logic, Milwaukee, 1981

Barwise, Jon, Soare, Robert, Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 439 KB

english, 1983

15

Prime models and almost decidability

Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 613 KB

english, 1986

16

Recursive categoricity and persistence

Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 419 KB

english, 1986

17

Prime Models and Almost Decidability

Terrence Millar

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 259 KB

english, 1986

18

Tame Theories with Hyperarithmetic Homogeneous Models

Terrence Millar

Journal:

Proceedings of the American Mathematical Society

Year:

1989

Language:

english

File:

PDF, 326 KB

english, 1989

19

Recursive Categoricity and Persistence

Terrence Millar

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 176 KB

english, 1986

20

Degrees of Models of True Arithmeticby David Marker; J. Stern;Two Theorems on Degrees of Models of True Arithmeticby Julia Knight; Alistair H. Lachlan; Robert I. Soare

Review by: Terrence S. Millar

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 131 KB

english, 1987

21

[Studies in Logic and the Foundations of Mathematics] Handbook of Computability Theory Volume 140 || Pure Recursive Model Theory

Millar, Terrence S.

Year:

1999

Language:

english

File:

PDF, 1.39 MB

english, 1999